Single-Pushout Transformation Of Total Algebras
نویسندگان
چکیده
We characterize the pairs of partial homomorphisms of total Σ-algebras that have a pushout in the corresponding category, for an arbitrary signature Σ. This characterization provides the application condition for the single-pushout approach to the transformation of total algebras.
منابع مشابه
Algebraic Transformation of Unary Partial Algebras I: Double-Pushout Approach
The transformation of total graph structures has been studied from the algebraic point of view over more than two decades now, and it has motivated the development of the so-called double-pushout and single-pushout approaches to graph transformation. In this article we extend the double-pushout approach to the algebraic transformation of partial many-sorted unary algebras. Such a generalization...
متن کاملAlgebraic Transformation of Unary Partial Algebras II: Single-Pushout Approach
The single-pushout approach to graph transformation is extended to the algebraic transformation of partial many-sorted unary algebras. The main result presented in this article is an algebraic characterization of the single-pushout transformation in the categories of all conformisms, all closed quomorphisms, and all closed-domain closed quomorphisms of unary partial algebras over a given signat...
متن کاملTyped lambda-terms in categorical attributed graph transformation
This paper deals with model transformation based on attributed graph rewriting. Our contribution investigates a single pushout approach for applying the rewrite rules. The computation of graph attributes is obtained through the use of typed λ -calculus with inductive types. In this paper we present solutions to cope with single pushout construction for the graph structure and the computations f...
متن کاملHypergraph rewriting using conformisms
In this paper we study single-pushout transformation in a category of spans, a generalization of the notion of partial morphism in, for instance, 2,4]. As an application, single-pushout transformation in a category of hypergraphs with a special type of partial morphisms, the conformisms, is presented. In particular , we show the existence of the pushout of any pair of conformisms of hypergraphs...
متن کاملAlgebraic Approach to Single-Pushout Graph Transformation
The single-pushout approach to graph transformation interprets a double-pushout transformation rule of the classical algebraic approach which consists of two rotul graph morphisms as a single particll morphism from the left-to the right-hand side. The notion of a double-pushout diagram for the transformation process can then be substituted by a single-pushout diagram in an appropriate category ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Int. J. Found. Comput. Sci.
دوره 15 شماره
صفحات -
تاریخ انتشار 2004